d (int (c / 2 a (d x / (d t))^2 rho) dx) / (d t)